中文：
本門課分三部分進行講授：相干邏輯、條件句邏輯、自由邏輯。茲簡述如下：
第一部分、相干邏輯
相干邏輯是重要的現代邏輯分支，其基本出發點是：堅持演繹推理的相干性，拒斥“結論的推導未實際使用前提”的推理方式，進而避免形形色色的“蘊涵怪論”（paradoxes of implication）。與經典邏輯（Classical Logic）相比，相干邏輯更接近人們的日常推理方式，對日常思維和科學研究具有重要的理論意義和實際價值。
本課程講授相干命題邏輯，涉及多種相干邏輯系統的建構，包括公理系統、自然演繹系統和結構推理系統。相干邏輯採用多種技術手段，證明“相干原理”等一系列元定理，用以揭示相干蘊涵的邏輯特性和排除各種“蘊涵怪論”。 相干邏輯的語義理論內涵豐富，而直觀的資訊理論解釋，不僅細緻地描述了相干關係語義的理論背景，也為相干邏輯在資訊理論和人工智慧領域的應用展示了廣闊的前景。
第二部分、條件句邏輯
日常語言中的條件句引發了幾個相關的哲學課題。其一是：到底有幾種語意上不同的條件句？其二是，如果有好幾種語意上不同的條件句的話，它們各自的語意論為何？其三是，與這些語意論相對應的條件句邏輯為何？本課程假設條件句有指示條件句及虛擬條件句兩種，而基於時間因素僅討論其中的一種：虛擬條件句。在本課程中，我們將探討以Stalnaker和Lewis為代表的有關於虛擬條件句的可能世界理論、其背後的哲學想法、其語意論、以及相應的各種邏輯系統。
第三部分、自由邏輯
Frege以降的古典邏輯與Aristotle邏輯有數個不同之處，其中的一個在於：後者總是預設了滿足謂詞事物的存在，而前者則否。但古典邏輯仍然總是預設了專名指涉對象的存在；因而，一個進一步可問的問題是：如果我們不預設專名指涉的對象總是存在，這樣發展出來的語意論及邏輯系統將會是如何？（此即一般所謂的Free Logics。）從哲學上來說，一些與專名有關的哲學理論（如麥農式理論）似乎也要求這樣的一種語意論與邏輯系統，因而為這樣的哲學理論發展出一定的形式系統也有其哲學上的適當動機。

英文：
This course is to introduce relevance logics, conditional logics, and free logics, and thus is divided into three parts.

Part I. Relevance Logics
Relevance logics insist on the relevance of deductive inference and thus rejects the idea that some premises of an inference are not even used in deducing its conclusion. It thus avoids nearly all sorts of the paradoxes of implication. Contrasted with classical logic, relevance logics seem closer to everyday reasoning, and are more significant to scientific studies.
This part will focus mainly on introducing several relevance logic systems, including axiomatic systems, natural deduction, and structural reasoning systems. Relevance logics not only provide intuitive semantics but also offer explanations of information flow, that is fruitful for information theory as well as artificial intelligence.

Part II. Conditional Logics
Our everyday uses of conditions of the form "If…, then…" attract philosophers' attention in that there may be different types of conditionals, each of which requires different semantics. First of all, how many types of conditionals are there? Secondly, what are the semantics for each of the types? Thirdly, what are the logics appropriate for each type of conditionals? We assume in this course that there are at least two different types of conditionals: indicative conditionals and subjunctive conditionals. But, due to the limit of time, we shall focus specifically upon subjunctive conditionals and we will introduce the "possible worlds semantics" provided by Robert Stalnaker and David Lewis.

Part III. Free Logics
Ever since Gottlob Frege, classical logic differs from the Aristotelian logic in that while the latter presumes that predicate terms have references, the former does not. However, classical logic shares with the Aristotelian logic the presumption that proper names are designators. One wonders whether this presumption can be denied. Free logics are just the sort of logics that do not take this presumption. It is no accident that some philosophers (the Meinongians) develop a metaphysics and semantics that matches the intent of free logics. We shall introduce the basic ideas of free logics, both axiomatic systems and semantics, and then consider the metaphysical issues regarding non-existents.